InforLorV4, Main, Exploration, bibRecord, 00BC88

A complete axiomatisation for the inclusion of series-parallel partial orders

Identifieur interne : 00BC88 ( Main/Exploration ); précédent : 00BC87; suivant : 00BC89

A complete axiomatisation for the inclusion of series-parallel partial orders

Auteurs : Denis Bechet [France] ; Philippe De Groote [France] ; Christian Retoré [France]

Source :

Lecture Notes in Computer Science [ 0302-9743 ]

RBID : ISTEX:34CA464188E3377B8E8A05D5E8A3528D672E4695

Descripteurs français

Pascal (Inist)
- Algorithmique, Informatique théorique, Théorie graphe.

English descriptors

KwdEn :
- Algorithmics, Computer theory, Graph theory.

Abstract

Abstract: Series-parallel orders are defined as the least class of partial orders containing the one-element order and closed by ordinal sum and disjoint union. From this inductive definition, it is almost immediate that any series-parallel order may be represented by an algebraic expression, which is unique up to the associativity of ordinal sum and to the associativivity and commutativity of disjoint union. In this paper, we introduce a rewrite system acting on these algebraic expressions that axiomatises completely the sub-ordering relation for the class of series-parallel orders.

Url:

https://api.istex.fr/ark:/67375/HCB-BTR14CPH-H/fulltext.pdf

DOI: 10.1007/3-540-62950-5_74

Affiliations:

Le document en format XML

<record><TEI wicri:istexFullTextTei="biblStruct"><teiHeader><fileDesc><titleStmt><title xml:lang="en">A complete axiomatisation for the inclusion of series-parallel partial orders</title>
<author><name sortKey="Bechet, Denis" sort="Bechet, Denis" uniqKey="Bechet D" first="Denis" last="Bechet">Denis Bechet</name>
</author>
<author><name sortKey="De Groote, Philippe" sort="De Groote, Philippe" uniqKey="De Groote P" first="Philippe" last="De Groote">Philippe De Groote</name>
</author>
<author><name sortKey="Retore, Christian" sort="Retore, Christian" uniqKey="Retore C" first="Christian" last="Retoré">Christian Retoré</name>
</author>
</titleStmt>
<publicationStmt><idno type="wicri:source">ISTEX</idno>
<idno type="RBID">ISTEX:34CA464188E3377B8E8A05D5E8A3528D672E4695</idno>
<date when="1997" year="1997">1997</date>
<idno type="doi">10.1007/3-540-62950-5_74</idno>
<idno type="url">https://api.istex.fr/ark:/67375/HCB-BTR14CPH-H/fulltext.pdf</idno>
<idno type="wicri:Area/Istex/Corpus">000C47</idno>
<idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Corpus" wicri:corpus="ISTEX">000C47</idno>
<idno type="wicri:Area/Istex/Curation">000C39</idno>
<idno type="wicri:Area/Istex/Checkpoint">002821</idno>
<idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Checkpoint">002821</idno>
<idno type="wicri:doubleKey">0302-9743:1997:Bechet D:a:complete:axiomatisation</idno>
<idno type="wicri:Area/Main/Merge">00C466</idno>
<idno type="wicri:source">INIST</idno>
<idno type="RBID">Pascal:97-0420272</idno>
<idno type="wicri:Area/PascalFrancis/Corpus">000C42</idno>
<idno type="wicri:Area/PascalFrancis/Curation">000C37</idno>
<idno type="wicri:Area/PascalFrancis/Checkpoint">000C49</idno>
<idno type="wicri:explorRef" wicri:stream="PascalFrancis" wicri:step="Checkpoint">000C49</idno>
<idno type="wicri:doubleKey">0302-9743:1997:Bechet D:a:complete:axiomatisation</idno>
<idno type="wicri:Area/Main/Merge">00C546</idno>
<idno type="wicri:Area/Main/Curation">00BC88</idno>
<idno type="wicri:Area/Main/Exploration">00BC88</idno>
</publicationStmt>
<sourceDesc><biblStruct><analytic><title level="a" type="main" xml:lang="en">A complete axiomatisation for the inclusion of series-parallel partial orders</title>
<author><name sortKey="Bechet, Denis" sort="Bechet, Denis" uniqKey="Bechet D" first="Denis" last="Bechet">Denis Bechet</name>
<affiliation wicri:level="3"><country xml:lang="fr">France</country>
<wicri:regionArea>Projet Calligramme, INRIA-Lorraine-CRIN-CNRS, 615, rue du Jardin Botanique, B.P. 101, 54602, Villers lès Nancy Cedex</wicri:regionArea>
<placeName><region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
<settlement type="city">Villers lès Nancy</settlement>
</placeName>
</affiliation>
<affiliation wicri:level="1"><country wicri:rule="url">France</country>
</affiliation>
</author>
<author><name sortKey="De Groote, Philippe" sort="De Groote, Philippe" uniqKey="De Groote P" first="Philippe" last="De Groote">Philippe De Groote</name>
<affiliation wicri:level="3"><country xml:lang="fr">France</country>
<wicri:regionArea>Projet Calligramme, INRIA-Lorraine-CRIN-CNRS, 615, rue du Jardin Botanique, B.P. 101, 54602, Villers lès Nancy Cedex</wicri:regionArea>
<placeName><region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
<settlement type="city">Villers lès Nancy</settlement>
</placeName>
</affiliation>
<affiliation wicri:level="1"><country wicri:rule="url">France</country>
</affiliation>
</author>
<author><name sortKey="Retore, Christian" sort="Retore, Christian" uniqKey="Retore C" first="Christian" last="Retoré">Christian Retoré</name>
<affiliation wicri:level="3"><country xml:lang="fr">France</country>
<wicri:regionArea>Projet Calligramme, INRIA-Lorraine-CRIN-CNRS, 615, rue du Jardin Botanique, B.P. 101, 54602, Villers lès Nancy Cedex</wicri:regionArea>
<placeName><region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
<settlement type="city">Villers lès Nancy</settlement>
</placeName>
</affiliation>
<affiliation wicri:level="1"><country wicri:rule="url">France</country>
</affiliation>
</author>
</analytic>
<monogr></monogr>
<series><title level="s" type="main" xml:lang="en">Lecture Notes in Computer Science</title>
<title level="s" type="abbrev">Lect Notes Comput Sci</title>
<idno type="ISSN">0302-9743</idno>
<idno type="eISSN">1611-3349</idno>
<idno type="ISSN">0302-9743</idno>
</series>
</biblStruct>
</sourceDesc>
<seriesStmt><idno type="ISSN">0302-9743</idno>
</seriesStmt>
</fileDesc>
<profileDesc><textClass><keywords scheme="KwdEn" xml:lang="en"><term>Algorithmics</term>
<term>Computer theory</term>
<term>Graph theory</term>
</keywords>
<keywords scheme="Pascal" xml:lang="fr"><term>Algorithmique</term>
<term>Informatique théorique</term>
<term>Théorie graphe</term>
</keywords>
</textClass>
</profileDesc>
</teiHeader>
<front><div type="abstract" xml:lang="en">Abstract: Series-parallel orders are defined as the least class of partial orders containing the one-element order and closed by ordinal sum and disjoint union. From this inductive definition, it is almost immediate that any series-parallel order may be represented by an algebraic expression, which is unique up to the associativity of ordinal sum and to the associativivity and commutativity of disjoint union. In this paper, we introduce a rewrite system acting on these algebraic expressions that axiomatises completely the sub-ordering relation for the class of series-parallel orders.</div>
</front>
</TEI>
<affiliations><list><country><li>France</li>
</country>
<region><li>Grand Est</li>
<li>Lorraine (région)</li>
</region>
<settlement><li>Villers lès Nancy</li>
</settlement>
</list>
<tree><country name="France"><region name="Grand Est"><name sortKey="Bechet, Denis" sort="Bechet, Denis" uniqKey="Bechet D" first="Denis" last="Bechet">Denis Bechet</name>
</region>
<name sortKey="Bechet, Denis" sort="Bechet, Denis" uniqKey="Bechet D" first="Denis" last="Bechet">Denis Bechet</name>
<name sortKey="De Groote, Philippe" sort="De Groote, Philippe" uniqKey="De Groote P" first="Philippe" last="De Groote">Philippe De Groote</name>
<name sortKey="De Groote, Philippe" sort="De Groote, Philippe" uniqKey="De Groote P" first="Philippe" last="De Groote">Philippe De Groote</name>
<name sortKey="Retore, Christian" sort="Retore, Christian" uniqKey="Retore C" first="Christian" last="Retoré">Christian Retoré</name>
<name sortKey="Retore, Christian" sort="Retore, Christian" uniqKey="Retore C" first="Christian" last="Retoré">Christian Retoré</name>
</country>
</tree>
</affiliations>
</record>

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration

HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 00BC88 | SxmlIndent | more

HfdSelect -h $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd -nk 00BC88 | SxmlIndent | more

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Exploration
   |type=    RBID
   |clé=     ISTEX:34CA464188E3377B8E8A05D5E8A3528D672E4695
   |texte=   A complete axiomatisation for the inclusion of series-parallel partial orders
}}

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022

Serveur d'exploration sur la recherche en informatique en Lorraine

A complete axiomatisation for the inclusion of series-parallel partial orders

A complete axiomatisation for the inclusion of series-parallel partial orders

Source :

Descripteurs français

English descriptors

Abstract

Links toward previous steps (curation, corpus...)

Le document en format XML

Pour manipuler ce document sous Unix (Dilib)

Pour mettre un lien sur cette page dans le réseau Wicri

	Serveur d'exploration sur la recherche en informatique en Lorraine
	Attention, ce site est en cours de développement ! Attention, site généré par des moyens informatiques à partir de corpus bruts. Les informations ne sont donc pas validées.